home *** CD-ROM | disk | FTP | other *** search
- import java.awt.Event;
- import java.awt.Font;
- import java.io.DataInputStream;
-
- public class bob17 extends bob {
- public Font font;
-
- // $FF: renamed from: he (java.awt.Event) void
- public void method_0(Event var1) {
- if (var1.id == 1) {
- this.font = ((bob17)var1.arg).font;
- } else if (var1.id == 2) {
- ((bob)this).ce(this, 1);
- } else if (var1.id == 3) {
- int var2 = (int)((bob10)var1.arg).value;
- if (var2 < 1) {
- var2 = 1;
- }
-
- this.font = new Font(this.font.getName(), this.font.getStyle(), var2);
- } else if (var1.id == 4) {
- ((bob)this).ce(new bob10((double)this.font.getSize()), 2);
- }
-
- }
-
- // $FF: renamed from: rd (java.io.DataInputStream) void
- public void method_1(DataInputStream var1) {
- try {
- this.font = new Font(var1.readUTF(), var1.readInt(), var1.readInt());
- } catch (Exception var3) {
- }
-
- }
- }
-